منابع مشابه
The correntropy MACE filter
Article history: Received 25 June 2008 Received in revised form 22 September 2008 Accepted 23 September 2008
متن کاملParallelizing the Mace Model Checker
In this project, we endeavored to parallelize MaceMC, a model checker for distributed systems written in Mace. Preliminary results show that the parallelized model checker can increase the number of useful states explored by the model checker by a factor of 50 for relatively modest cluster sizes.
متن کاملRhinitis induced to mace
Results Skin prick test to mace and ginger (10%) were positive and specific IgE to Pru p3 and mace were detected. Double-blind, placebocontrolled, oral food challenge (DBPCFC) with this spice showed rhinitis in few minutes and was negative to ginger. Through electrophoresis of peach, Pru p3, mace and ginger extracts were identified and the corresponding proteins purified and characterized as al...
متن کاملThe MACE Approach for Caching Mashups
In recent years, Web 2.0 applications have experienced tremendous growth in popularity. Mashups are a key category of Web 2.0 applications, which empower end-users with a highly personalized mechanism to aggregate and manipulate data from multiple sources distributed across the Web. Surprisingly, there are few studies on the performance and scalability aspects of mashups. In this paper, the aut...
متن کاملJonathan Mace - Teaching Statement
Teaching is enjoyable and rewarding in many ways, and I am excited by the opportunity toworkwith students throughout my future career. Mymain areas of interest are computer systems, including distributed systems, operating systems, cloud systems, and computer networking. One of themost interesting parts of teaching computer systems comes in unraveling the layers and abstractions of complex syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archaeological Journal
سال: 1885
ISSN: 0066-5983,2373-2288
DOI: 10.1080/00665983.1885.10852167